Resource Bounded Randomness and Weakly Complete Problems 1
نویسندگان
چکیده
We introduce and study resource bounded random sets based on Lutz's concept of resource bounded measure ((7, 8]). We concentrate on n c-randomness (c 2) which corresponds to the polynomial time bounded (p-) measure of Lutz, and which is adequate for studying the internal and quantitative structure of E = DTIME(2 lin). However we will also comment on E2 = DTIME(2 pol) and its corresponding (p2-) measure. First we show that the class of n c-random sets has p-measure 1. This provides a new, simpliied approach to p-measure 1-results. Next we compare ran-domness with genericity (in the sense of 2, 3]) and we show that n c+1-random sets are n c-generic, whereas the converse fails. From the former we conclude that n c-random sets are not p-btt-complete for E. Our technical main results describe the distribution of the n c-random sets under p-m-reducibility. We show that every n c-random set in E has n k-random predecessors in E for any k 1, whereas the amount of randomness of the successors is bounded. We apply this result to answer a question raised by Lutz 10]: We show that the class of weakly complete sets has measure 1 in E and that there are weakly complete problems which are not p-btt-complete for E.
منابع مشابه
Randomness vs. Completeness: On the Diagonalization Strength of Resource-Bounded Random Sets
We show that the question of whether the p-tt-complete or p-T -complete sets for the deterministic time classes E and EXP have measure 0 in these classes in the sense of Lutz's resource-bounded measure cannot be decided by relativizable techniques. On the other hand, we obtain the following absolute results if we bound the norm, i.e., the number of oracle queries of the reductions: For r = tt; ...
متن کاملResource-Bounded Randomness and Compressibility with Respect to Nonuniform Measures
Most research on resource-bounded measure and randomness has focused on the uniform probability density, or Lebesgue measure, on {0, 1}∞; the study of resource-bounded measure theory with respect to a nonuniform underlying measure was recently initiated by Breutzmann and Lutz [1]. In this paper we prove a series of fundamental results on the role of nonuniform measures in resource-bounded measu...
متن کاملResource bounded randomness and computational complexity
The following is a survey of resource bounded randomness concepts and their relations to each other. Further, we introduce several new resource bounded randomness concepts corresponding to the classical randomness concepts, and show that the notion of polynomial time bounded Ko randomness is independent of the notions of polynomial time bounded Lutz, Schnorr and Kurtz randomness. Lutz has conje...
متن کاملA Comparison of Weak Completeness Notions 1 Extended
We compare the weak completeness notions for E in the sense of Lutz's resource-bounded measure theory 11] with respect to the standard polynomial time reducibilities. Our results parallel results for classical completeness by Watanabe 17] and others. We show that the weak completeness notions for 1-query reductions coincide: A set is weakly complete for E under 1-truth-table reducibility ii it ...
متن کاملRandomness and Differentiability
We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) We show that a real number z ∈ [0, 1] is computably random if and only if every nondecreasing computable function [0, 1] → R is differentiable at z. (2) A real number z ∈ [0, 1] is weakly 2-random if and only if every almost everywhere differentiable computable function [0, 1] → R is diff...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994